Uncertainty in Goal and Law Modeling and Analysis

Goal models are widely recognized as an effective means for capturing requirements for socio-technical systems. Recently, models of law have been investigated and analyzed in conjunction with goal models, in order to evaluate the legal compliance of software system requirements. As goal models capture social, often ill-defined concepts, and as law models capture ambiguous legal settings, both models are characterized by the presence of uncertainty. Consequently, both goal and law models consider uncertainty as part of their analysis, allowing for unknown or inconclusive analysis labels. However, it is also possible to consider uncertainty in the content of such models. Recent work has applied an existing formal method for capturing uncertainty in goal models. In this paper we make a distinction between uncertainty in analysis and uncertainty in content, reporting on the influence of such uncertainty in models of law and requirements.